21. Scientific computing with automatic result verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
22. Scientific computing with automatic result verification
پدیدآورنده: edited by E. Adams, U. Kulisch
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
23. Scientific computing with automatic result verification
پدیدآورنده: / edited by E. Adams, U. Kulisch
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
